I figured it was something along the lines of the valve cover, having never have done one before I wasn't sure if it was a gasket or RTV. I found a couple kits online that seem to be in the $45-$60 range that I'm assuming would be alright to use. To pull the plenum for the first time I'd imagine it'd be 3-4 hours to get to the valve covers?